Mathematical Logic for Life Science Ontologies
نویسندگان
چکیده
We discuss how concepts and methods introduced in mathematical logic can be used to support the engineering and deployment of life science ontologies. The required applications of mathematical logic are not straighforward and we argue that such ontologies provide a new and rich family of logical theories that wait to be explored by logicians.
منابع مشابه
Definability and Process Ontologies
In this paper, we use the notions of relative interpretations and definable models from mathematical logic to compare different ontologies and also to evaluate the limitations of particular ontologies. In particular, we characterize the relationship between the theories within the first-order PSL Ontology and two other ontologies – a first-order theory of time and Reiter’s second-order axiomati...
متن کاملOntologies and Domain Theories
Although there is consensus that a formal ontology consists of a set of axioms within some logical language, there is little consensus on how a formal ontology differs from an arbitrary theory. There is an intuitive distinction between the formal ontology and the set of domain theories that use the ontology, but there has been no characterization of this distinction in the context of first-orde...
متن کاملQuerying the Unary Negation Fragment with Regular Path Expressions
The unary negation fragment of first-order logic (UNFO) has recently been proposed as a generalization of modal logic that shares many of its good computational and model-theoretic properties. It is attractive from the perspective of database theory because it can express conjunctive queries (CQs) and ontologies formulated in many description logics (DLs). Both are relevant for ontology-mediate...
متن کاملAggregation operators for fuzzy ontologies
Fuzzy ontologies extend classical ontologies to allow the representation of imprecise and vague knowledge. Although a relatively important amount of work has been carried out in the field during the last years and they have been successfully used in several applications, several notions from fuzzy logic have not been considered yet in fuzzy ontologies. Among them are aggregation operators, math...
متن کاملModule Extraction and Incremental Classification: A Pragmatic Approach for Ontologies
The description logic EL has recently proved practically useful in the life science domain with presence of several large-scale biomedical ontologies such as Snomed ct. To deal with ontologies of this scale, standard reasoning of classification is essential but not sufficient. The ability to extract relevant fragments from a large ontology and to incrementally classify it has become more crucia...
متن کامل